Modular zk-rollup on-demand

Zk 2-MANIFOLDS ARE ISOSPECTRAL ON FORMS.

Modular Analysis of Executables Using On-Demand Heyting Completion

A function-modular analysis is presented that computes precise function summaries in the presence of pointers and indirect calls. Our approach computes several summaries for a function, each specialized to a particular input property. A call site combines the effect of several summaries, based on what properties hold. The key novelty is that the properties are tailored to the function being ana...

Simple modular systems for generation of droplets on demand.

This report provides practical guidelines for the use of inexpensive electromagnetic valves characterized by large dead volumes (tens to hundreds of μL) for the generation of small (nL) droplets on demand in microfluidic chips. We analyze the role of the ratio of resistances and of the elastic capacitance of the fluidic connectors between the reservoir of the liquid, the valve and the microflui...

On the design space of MapReduce ROLLUP aggregates

We define and explore the design space of e cient algorithms to compute ROLLUP aggregates, using the MapReduce programming paradigm. Using a modeling approach, we explain the non-trivial trade-o↵ that exists between parallelism and communication costs that is inherent to a MapReduce implementation of ROLLUP. Furthermore, we design a new family of algorithms that, through a single parameter, all...

On-demand Fault Scrubbing Using Adaptive Modular Redundancy

We present an architectural framework for NModular Redundant (NMR) systems exploiting the dynamic partial reconfiguration capability of FPGAs. Partial reconfiguration is used to dynamically construct the throughput datapath under failure conditions. The throughput datapath utilizes only one instance of a Functional Element (FE) while the other instances undergo evaluation by being subjected to ...